Requirements-based monitors for real-time systems
نویسندگان
چکیده
منابع مشابه
Deriving Real-time Monitors from System Requirements Documentation
During system testing, determining if the observed behaviour of a real–time system is consistent with its requirements specification can be difficult. I propose that a system to check the behaviour against the specification, a monitor, be automatically derived from the requirements documentation. The monitor would model the system requirements as a modified finite state automaton in which the s...
متن کاملTracking Real-Time Systems Requirements
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to keep track of upper bounds since some requirements such as jitter are also sensitive to the lower bounds and the resource scheduling algorithm employed. In the case of non-preemptive scheduling, real-time requirements c...
متن کاملEvolvable Real-Time C3 Systems-II: Real-Time Infrastructure Requirements
MITRE'S Evolvable Real-Time Comma& Control, and Communications (C3) project funa'ed under the Air Force Mission Oriented Investigation and Experimentation (MOIE) program attempts to develop an approach that would enable current real-time systems to evolve into the systems of the future. The project has chosen Airbonze Warning and Control System (AWACS) as an example to test the concepts and arc...
متن کاملVerifying Real-Time Systems against Scenario-Based Requirements
We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA), and a scenario-based requirement is specified as a Live Sequence Chart (LSC). We define a trace-based semantics for a kernel subset of the LSC language. By equivalently translating an LSC chart into an observer TA and then n...
متن کاملReal-Time Systems for Industrial Use: Requirements for the Future
The current industrial use of real-time systems can be divided into two categories. High end systems, where commercial RTOS solutions have the main share, and low end systems, which are often driven by custom-built proprietary solutions based on a main program loop and interrupt handlers due to the traditionally restricted computing power of micro-controllers. The requirements for current indus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2000
ISSN: 0163-5948
DOI: 10.1145/347636.348874